• Formal semantics drive cross-model data integration, enabling coherent meaning across object-oriented, temporal, and multilingual data models through formal frameworks for object structure and schema alignment [2], [14], [11], [16].

• Recursive queries are formalized and optimized via algebraic extensions, bottom-up rule rewriting, and traversal recursions, addressing transitive relationships and efficient evaluation [6], [9], [8].

• Optimization under complex data distributions is studied through indexing schemes for nested objects, selectivity estimation for skewed values, and adaptive query size estimation to guide planning [4], [10], [20].

• Temporal modeling treats time as a first-class dimension, offering algebraic and query-language support for historical data and time-stamped tuples within relational-like frameworks [5], [12].

• Conceptualizing object-oriented DBMSs and extensible architectures to boost programmer productivity and future integration, including object-function models and extensible prototypes [1], [3], [15], [13].